• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام
تعداد ۱۰۲ پاسخ غیر تکراری از ۱۰۳ پاسخ تکراری در مدت زمان ۰,۷۵ ثانیه یافت شد.

81. Python for data science /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: by Luca Massaron and John Paul Mueller

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)

رده :
QA76
.
73
.
P98

82. RIMS Symposia on Software Science and Engineering II :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
6
E358
1986

83. Regular expression pocket reference /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Tony Stubblebine

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers)-- Syntax,Text processing (Computer science)

رده :
QA76
.
9
.
T48
S78
2007

84. Regular expression pocket reference

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: \ Tony Stubblebine.

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Text processing (Computer science),متن‌پردازی,a03,a03,Programming languages (Electronic computers)-- Syntax.,زبان‌های برنامه‌نویسی کامپیوتر-- نحو

رده :
QA
76
.
9
.
S7R4
2007
E-Book
,

85. Regular expression pocket reference

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Stubblebine, Tony.

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع: ، Text processing )Computer science(,Syntax ، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
T48
S78

86. Regular expressions cookbook

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: \ Jan Goyvaerts and Steven Levithan.

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Text processing (Computer science),متن‌پردازی,a05,a05,Programming languages (Electronic computers), Handbooks, manuals, etc.,Computer programming.,زبان های برنامه نویسی کامپیوتر -- دستنامه ها ,برنامه‌نویسی

رده :
QA
76
.
7
.
G6R4
2012
E-Book
,

87. Regular expressions cookbook

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Jan Goyvaerts, Steven Levithan

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming,Programming languages (Electronic computers), Handbooks, manuals, etc,Text processing (Computer science)

رده :
QA76
.
7
.
G69
2012

88. Semantics and algebraic specificatio

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: / Jens Palsberg (ed.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

رده :
QA
,
76
.
7
,.
S435
,
2009

89. Semantics and algebraic specification

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

رده :

90. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
.
I56
76
.
642
1990

91. Semantics of type theory : correctness, Completeness and independence results

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Streicher, Thomas, 8591-

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory

رده :
QA
76
.
7
.
S85

92. Semantics of type theory : correctness, completeness, and independence results

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Thomas Streicher,Title

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory

رده :
QA
.
S82
76
.
7
1991

93. Source Code Analytics With Roslyn and JavaScript Data Visualization /

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Sudipta Mukherjee ; foreword by Darius Blasband

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.

رده :
QA76
.
754
.
M85
2016

94. Spiele effektiv programmieren

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Uwe Kettermann, Andreas Rohde.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.

رده :

95. Swift 3 for Absolute Beginners

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.

رده :
QA76
.
73
.
S95

96. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
76
.
642
.
T45
1992

97. The Logic of Partial Information

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: by Areski Nait Abdallah.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
7
B937
1995

98. Theoretical aspects of object-oriented programming : types, semantics, and language design

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Carl A. Gunter and John C. Mitchell

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
64
.
T4

99. Thinking in LINQ :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: Sudipta Mukherjee

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Query languages (Computer science)

رده :
QA76
.
7

100. Trees in Algebra and Programming - CAAP '96 :

  • اطلاعات استناد دهی
  • BibTex (مخصوص کاربران)
  • RIS (مخصوص کاربران)
  • Endnote (مخصوص کاربران)
  • Refer (مخصوص کاربران)
  • Mark (مخصوص کاربران)

پدیدآورنده: edited by Hélène Kirchner.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)

رده :
QA166
.
2
E358
1996
  • »
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال